Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
نویسندگان
چکیده
In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to operations of real numbers. A complete axiom system is presented for the proposed logic, and the new negligibility relation is compared with previous ones and its advantages are presented on the basis of an example.
منابع مشابه
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
The use of models to represent different scientific and engineering situations leads to qualitative reasoning as a good possibility when the traditional numerical methods are limited. Qualitative Reasoning (QR) provides an intermediate level between discrete and continuous models. A form of QR is to manage numerical data in terms of orders of magnitude (see, for example, [12, 14]). Two approach...
متن کاملA Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude qualitative reasoning, extending the recently introduced system MQ, by means of a certain notion of negligibility relation which satisfies a number of intuitively plausible properties, as well as a minimal axiom syste...
متن کاملAn ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualita...
متن کاملQualitative reasoning based on fuzzy relative orders of magnitude
—This paper proposes a fuzzy set-based approach for handling relative orders of magnitude stated in terms of closeness and negligibility relations. At the semantic level, these relations are represented by means of fuzzy relations controlled by tolerance parameters. A set of sound inference rules, involving the tolerance parameters, is provided, in full accordance with the combination/projectio...
متن کاملRelational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this p...
متن کامل